Hongyang Qu : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (50)
Les plus populaires
Liste
- Liste
- Tableau

The effect of reaction temperature on the particle size, structure and magnetic properties of coprecipitated CoFe2O4 nanoparticles

Yuqiu Qu, Haibin Yang, Nan Yang, Yuzun Fan, Hongyang Zhu, Guangtian Zou

Journal:

Materials Letters

Année:

2006

Langue:

english

Fichier:

PDF, 888 KB

english, 2006

Low pH capillary electrophoresis application to improve capillary electrophoresis-systematic evolution of ligands by exponential enrichment

Li, Qian, Zhao, Xinying, Liu, Hongyang, Qu, Feng

Journal:

Journal of Chromatography A

Année:

2014

Langue:

english

Fichier:

PDF, 1.55 MB

english, 2014

Reasoning about memoryless strategies under partial observability and unconditional fairness constraints

Busard, Simon, Pecheur, Charles, Qu, Hongyang, Raimondi, Franco

Journal:

Information and Computation

Année:

2015

Langue:

english

Fichier:

PDF, 823 KB

english, 2015

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms

Smyrnakis, Michalis, Qu, Hongyang, Veres, Sandor

Année:

2017

Langue:

english

Fichier:

PDF, 365 KB

english, 2017

Enforcing Concurrent Temporal Behaviors

Doron Peled, Hongyang Qu

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 324 KB

english, 2005

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2008

Towards verifying contract regulated service composition

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Journal:

Autonomous Agents and Multi-Agent Systems

Année:

2012

Langue:

english

Fichier:

PDF, 862 KB

english, 2012

Metallization of Carbon Fibers with Nickel by Electroless Plating Technique

Yuzun Fan, Haibin Yang, Hongyang Zhu, Xizhe Liu, Minghui Li, Yuqiu Qu, Nan Yang, Guangtian Zou

Journal:

Metallurgical and Materials Transactions A

Année:

2007

Langue:

english

Fichier:

PDF, 410 KB

english, 2007

Preparation of Cu–Zn/ZnO core–shell nanocomposite by surface modification and precipitation process in aqueous solution and its photoluminescence properties

Nan Yang, Haibin Yang, Yuqiu Qu, Yuzun Fan, Lianxia Chang, Hongyang Zhu, Minghui Li, Guangtian Zou

Journal:

Materials Research Bulletin

Année:

2006

Langue:

english

Fichier:

PDF, 900 KB

english, 2006

The protective role of hydrogen-rich saline in experimental liver injury in mice

HanYong Sun, Lei Chen, WeiPing Zhou, Liang Hu, Liang Li, QianQian Tu, YanXin Chang, Qu Liu, XueJun Sun, MengChao Wu, HongYang Wang

Journal:

Journal of Hepatology

Année:

2011

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2011

Communicative commitments: Model checking and complexity analysis

Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Journal:

Knowledge-Based Systems

Année:

2012

Langue:

english

Fichier:

PDF, 592 KB

english, 2012

Local abstraction refinement for probabilistic timed programs

Dräger, Klaus, Kwiatkowska, Marta, Parker, David, Qu, Hongyang

Journal:

Theoretical Computer Science

Année:

2014

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2014

Compositional probabilistic verification through multi-objective model checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David, Qu, Hongyang

Journal:

Information and Computation

Année:

2013

Langue:

english

Fichier:

PDF, 641 KB

english, 2013

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols

El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Journal:

Expert Systems with Applications

Année:

2014

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2014

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness

Hansen, Henri, Kwiatkowska, Marta, Qu, Hongyang

Année:

2011

Langue:

english

Fichier:

PDF, 285 KB

english, 2011

[IEEE Networks (DSN) - Hong Kong, China (2011.06.27-2011.06.30)] 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) - Incremental quantitative verification for Markov decision processes

Kwiatkowska, Marta, Parker, David, Qu, Hongyang

Année:

2011

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2011

[IEEE 2008 IEEE International Conference on Web Services (ICWS) - Beijing, China (2008.09.23-2008.09.26)] 2008 IEEE International Conference on Web Services - Towards Verifying Contract Regulated Service Composition

Lomuscio, Alessio, Qu, Hongyang, Solanki, Monika

Année:

2008

Langue:

english

Fichier:

PDF, 428 KB

english, 2008

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Model Repair for Markov Decision Processes

Chen, Taolue, Hahn, Ernst Moritz, Han, Tingting, Kwiatkowska, Marta, Qu, Hongyang, Zhang, Lijun

Année:

2013

Langue:

english

Fichier:

PDF, 292 KB

english, 2013

[IEEE 2014 European Control Conference (ECC) - Strasbourg, France (2014.6.24-2014.6.27)] 2014 European Control Conference (ECC) - On efficient consistency checks by robots

Qu, Hongyang, Veres, Sandor M.

Année:

2014

Langue:

english

Fichier:

PDF, 677 KB

english, 2014

ENFORCING CONCURRENT TEMPORAL BEHAVIORS

PELED, DORON, QU, HONGYANG

Journal:

International Journal of Foundations of Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2006

Effects of N-Butylphthalide on the expressions of Nogo/NgR in rat brain tissue after carbon monoxide poisoning

Li, Qin, Cheng, Yongmei, Bi, Ming Jun, Kang, Hai, Qu, Yun, Lin, Hongyang, Guo, Yunliang, Zou, Yong

Journal:

Environmental Toxicology and Pharmacology

Année:

2015

Langue:

english

Fichier:

PDF, 3.48 MB

english, 2015

MCMAS: an open-source model checker for the verification of multi-agent systems

Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2017

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2017

[IEEE 2014 IEEE International Conference on Web Services (ICWS) - Anchorage, AK, USA (2014.6.27-2014.7.2)] 2014 IEEE International Conference on Web Services - Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols

Kholy, Warda El, Menshawy, Mohamed El, Bentahar, Jamal, Qu, Hongyang, Dssouli, Rachida

Année:

2014

Langue:

english

Fichier:

PDF, 302 KB

english, 2014

Formal Specification and Automatic Verification of Conditional Commitments

El Kholy, Warda, El Menshawy, Mohamed, Bentahar, Jamal, Qu, Hongyang, Dssouli, Rachida

Journal:

IEEE Intelligent Systems

Année:

2015

Langue:

english

Fichier:

PDF, 3.11 MB

english, 2015

Dynamic Properties of a Forest Fire Model

Min, Na, Zhang, Hongyang, Qu, Zhilin

Journal:

Abstract and Applied Analysis

Année:

2012

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2012

[IEEE 2009 2nd International Conference on Software Testing Verification and Validation (ICST 2009) - Denver, CO (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing Verification and Validation - Optimizing probabilities of real-time test case execution

Wolovick, Nicolas, D'Argenio, Pedro, Qu, Hongyang

Année:

2009

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2009

Improving BDD-based attractor detection for synchronous Boolean networks

Yuan, Qixia, Qu, Hongyang, Pang, Jun, Mizera, Andrzej

Journal:

SCIENCE CHINA Information Sciences

Année:

2016

Langue:

english

Fichier:

PDF, 673 KB

english, 2016

Development of the photosynthetic apparatus of Cunninghamia lanceolata in light and darkness

Xue, Xian, Wang, Qi, Qu, Yanli, Wu, Hongyang, Dong, Fengqin, Cao, Haoyan, Wang, Hou-Ling, Xiao, Jianwei, Shen, Yingbai, Wan, Yinglang

Journal:

New Phytologist

Année:

2016

Langue:

english

Fichier:

PDF, 1.53 MB

english, 2016

Verification of logical consistency in robotic reasoning

Qu, Hongyang, Veres, Sandor M.

Journal:

Robotics and Autonomous Systems

Année:

2016

Langue:

english

Fichier:

PDF, 798 KB

english, 2016

Lipidated L2 epitope repeats fused with a single-chain antibody fragment targeting human FcγRI elicited cross-neutralizing antibodies against a broad spectrum of human papillomavirus types

Zhang, Ting, Liu, Hongyang, Chen, Xue, Wang, Zhirong, Wang, Shuo, Qu, Chunfeng, Zhang, Jingzhi, Xu, Xuemei

Journal:

Vaccine

Année:

2016

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2016

Shifts in Long-Distance Travel Mode Due to Automated Vehicles

LaMondia, Jeffrey J., Fagnant, Daniel J., Qu, Hongyang, Barrett, Jackson, Kockelman, Kara

Journal:

Transportation Research Record Journal of the Transportation Research Board

Année:

2016

Langue:

english

Fichier:

PDF, 662 KB

english, 2016

[IEEE 2016 IEEE Trustcom/BigDataSE/ISPA - Tianjin, China (2016.8.23-2016.8.26)] 2016 IEEE Trustcom/BigDataSE/ISPA - What Is My Next Job: Predicting the Company Size and Position in Career Changes

Qu, Hongyang, Yu, Zhiwen, Yu, Zhiyong, Xu, Huang, Guo, Bin, Xie, Xing

Année:

2016

Langue:

english

Fichier:

PDF, 429 KB

english, 2016

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - A stochastically verifiable autonomous control architecture with reasoning

Izzo, Paolo, Qu, Hongyang, Veres, Sandor M.

Année:

2016

Langue:

english

Fichier:

PDF, 368 KB

english, 2016

[IEEE 2016 9th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI) - Datong, China (2016.10.15-2016.10.17)] 2016 9th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI) - Methods to improve the precision of positioning in the MR-guided focused ultrasound surgery system

Mao, Hongyang, Shen, Guofeng, Qu, Xiongfei, Zong, Shenyan

Année:

2016

Langue:

english

Fichier:

PDF, 415 KB

english, 2016

The Mechanism of Radiosensitization by YM155, a Novel Small Molecule Inhibitor of Survivin Expression, is Associated with DNA Damage Repair

Hu, Songliu, Fu, Songbin, Xu, Xiangying, Chen, Lin, Xu, Jianyu, Li, Bin, Qu, Yuanyuan, Yu, Hongyang, Lu, Shan, Li, Wenxin

Journal:

Cellular Physiology and Biochemistry

Année:

2015

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2015

Operational Effects of Transverse Rumble Strips on Approaches to High-Speed Intersections

Yang, Lingling, Zhou, Huaguo, Zhu, Lingxi, Qu, Hongyang

Journal:

Transportation Research Record Journal of the Transportation Research Board

Année:

2016

Langue:

english

Fichier:

PDF, 901 KB

english, 2016

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

El Kholy, Warda, Bentahar, Jamal, El Menshawy, Mohamed, Qu, Hongyang, Dssouli, Rachida

Journal:

Fundamenta Informaticae

Année:

2017

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2017

Specification and automatic verification of trust-based multi-agent systems

Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal, Shakshuki, Elhadi

Journal:

Future Generation Computer Systems

Année:

2018

Langue:

english

Fichier:

PDF, 1.86 MB

english, 2018

Taming Asynchrony for Attractor Detection in Large Boolean Networks

Mizera, Andrzej, Pang, Jun, Qu, Hongyang, Yuan, Qixia

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2018

Langue:

english

Fichier:

PDF, 737 KB

english, 2018

Chamaejasmine Induces Apoptosis in Human Lung Adenocarcinoma A549 Cells through a Ros-Mediated Mitochondrial Pathway

Yu, Hongyang, Zhang, Tingting, Cai, Li, Qu, Yuanyuan, Hu, Songliu, Dong, Guanglu, Guan, Rongwei, Xu, Xiangying, Xing, Lina

Journal:

Molecules

Année:

2011

Langue:

english

Fichier:

PDF, 776 KB

english, 2011

Sphingolipidomic Profiling of Rat Serum by UPLC-Q-TOF-MS: Application to Rheumatoid Arthritis Study

Qu, Fanghui, Zhang, Hongyang, Zhang, Min, Hu, Ping

Journal:

Molecules

Année:

2018

Langue:

english

Fichier:

PDF, 4.57 MB

english, 2018

Azimuth Signal Multichannel Reconstruction and Channel Configuration Design for Geosynchronous Spaceborne-Airborne Bistatic SAR

Wu, Junjie, Sun, Zhichao, An, Hongyang, Qu, Jingyi, Yang, Jianyu

Journal:

IEEE Transactions on Geoscience and Remote Sensing

Année:

2018

Langue:

english

Fichier:

PDF, 4.39 MB

english, 2018

High-efficient and selective extraction of Hf over Zr with DIBK-P350 synergistic extraction system

Wu, Ming, He, Hongyang, Xu, Fei, Xu, Zhigao, Zhang, Wenjie, He, Zhengyan, Qu, Jun, Chi, Ruan, Huang, Lingyun

Journal:

Separation and Purification Technology

Année:

2018

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2018

All in one theranostic nanoplatform enables efficient anti-tumor peptide delivery for triple-modal imaging guided cancer therapy

Qu, Xiaoyan, Liu, Zhengqing, Ma, Bohan, Li, Na, Zhao, Hongyang, Yang, Tian, Xue, Yumeng, Zhang, Xiaozhi, Shao, Yongping, Chang, Ying, Xu, Jun, Lei, Bo, Du, Yaping

Journal:

Nano Research

Année:

2018

Langue:

english

Fichier:

PDF, 2.91 MB

english, 2018

[IEEE 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR) - Shenyang (2018.8.24-2018.8.27)] 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR) - A stochastically verifiable decision making framework for autonomous ground vehicles

Al-Nuaimi, Mohammed, Qu, Hongyang, Veres, Sandor M.

Année:

2018

Langue:

english

Fichier:

PDF, 9 KB

english, 2018

A new decomposition-based method for detecting attractors in synchronous Boolean networks

Yuan, Qixia, Mizera, Andrzej, Pang, Jun, Qu, Hongyang

Journal:

Science of Computer Programming

Année:

2019

Langue:

english

Fichier:

PDF, 500 KB

english, 2019

Comparing approaches for model-checking strategies under imperfect information and fairness constraints

Busard, Simon, Pecheur, Charles, Qu, Hongyang, Raimondi, Franco

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2018

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2018

Multiple-twinned silver nanoparticles supported on mesoporous graphene with enhanced antibacterial activity

Yang, Lini, Meng, Fanchi, Qu, Xiaoyue, Xia, Lixin, Huang, Fei, Qin, Shuai, Zhang, Minghe, Xu, Fen, Sun, Lixian, Liu, Hongyang

Journal:

Carbon

Année:

2019

Langue:

english

Fichier:

PDF, 2.01 MB

english, 2019

Construction of high quality ultrathin lanthanide oxyiodide nanosheets for enhanced CT imaging and anticancer drug delivery to efficient cancer theranostics

Xu, Lingling, Xue, Yumeng, Xia, Jiale, Qu, Xiaoyan, Lei, Bo, Yang, Tian, Zhang, Xiaozhi, Li, Na, Zhao, Hongyang, Wang, Min, Luo, Meng, Zhang, Chao, Du, Yaping, Yan, Chunhua

Journal:

Biomaterials

Année:

2020

Fichier:

PDF, 1.20 MB

2020

Dynamic Multi-Objective Dispatch Considering Wind Power and Electric Vehicles With Probabilistic Characteristics

Zhu, Yongsheng, Gao, Hongyang, Xiao, Junming, Qu, Boyang, Zhu, Fanbing, Yang, Lu

Journal:

IEEE Access

Année:

2019

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2019